Trefferliste "Intuitionistic Logics" - alle Bücher

Ihre Suche nach "Intuitionistic Logics" (Bücher) ergab 4 Treffer

Dick de Jongh on Intuitionistic and Provability Logics

Outstanding Contributions to Logic -Band 28

This book is dedicated to Dick de Jongh s contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh s origin…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Peircean Mathematics

The book explores Peirce's non standard thoughts on a synthetic continuum, topological logics, existential graphs, and relational semiotics, offering full mathematical developments on these areas. More pr…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Reasoning

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Reasoning

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.